More from this Author

Computer Aided Verification

by Constantin Enea (Editor), Akash Lal (Editor)

Verification, Model Checking, and Abstract Interpretation

by Constantin Enea (Editor), Ruzica Piskac (Editor)